Solving the heat equation symbolically with MuSimp
نویسندگان
چکیده
منابع مشابه
Solving the ARE Symbolically
Methods from computer algebra, mostly so called Grr obner bases from commutative algebra, are used to solve the algebraic Riccati equation (ARE) symbolically. The methods suggested allow us to track the innuence of parameters in the system or penalty matrices on the solution. Some non-trivial aspects arise when addressing the problem from the point of view commutative algebra, for example the o...
متن کاملSolving Extended Regular Constraints Symbolically
Constraints over regular expressions are common in programming languages, often in combination with other constraints involving strings. Efficient solving of such constraints has many useful applications in program analysis and testing. We introduce a method for symbolically expressing and analyzing regular constraints using state of the art SMT solving techniques. The method is implemented usi...
متن کاملSolving Polynomial Systems Symbolically and in Parallel
We discuss the parallelization of algorithms for solving polynomial systems symbolically. We introduce a component-level parallelization: our objective is to develop a parallel solver for which the number of processors in use depends on the intrinsic complexity of the input system, that is on geometry of its solution set. This approach creates new opportunities for parallel execution of polynom...
متن کاملExplicit Difference Methods for Solving the Cylindrical Heat Conduction Equation
? = 0(r = 0), i^=-F(i), (r=l) dr u dr where Fit) is an empirical function of t. In all cases, as far as the authors are aware, the differential coefficients in (1) are considered separately when replaced by differences, and the principal term in du the truncation error of any difference formula obtained in this way contains — and ö u —Z-. This can be seen by obtaining the time derivatives of u ...
متن کاملWavelet and Fourier Methods for Solving the Sideways Heat Equation
We consider an inverse heat conduction problem, the Sideways Heat Equation, which is a model of a problem, where one wants to determine the temperature on both sides of a thick wall, but where one side is inaccessible to measurements. Mathematically it is formulated as a Cauchy problem for the heat equation in a quarter plane, with data given along the line x = 1, where the solution is wanted f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1988
ISSN: 0747-7171
DOI: 10.1016/s0747-7171(88)80037-3